<?php
function pre($a){echo '<pre>';print_r($a);echo '</pre>';}
